VERIFICATION OF BUSINESS PROCESS WORKFLOWS
نویسندگان
چکیده
منابع مشابه
Business Process Verification
Models of commercial systems reflect either the statical structure or the dynamic behavior of a system. The dynamic aspects are the business processes and their models. Whereas the static relations in a system may be expressed by Boolean logic, the dynamic activities and their temporal sequences ask for a better formalism, e.g. temporal logic. Temporal logic is based on Boolean logic extended b...
متن کاملEnforcing Reputation Constraints on Business Process Workflows
The problem of trust in determining the flow of execution of business processes has been in the centre of research interst in the last decade as business processes become a de facto model of Internet-based commerce, particularly with the increasing popularity in Cloud computing. One of the main measures of trust is reputation, where the quality of services as provided to their clients can be us...
متن کاملFramework for Business Process Verification
There are numerous concepts and tools for modeling business processes and several academic approaches to verify business processes. However, most modeling tools don’t integrate the checking of the processes. The three-tier architecture of the Business Application Modeler (BAM) provides the graphical representation of business models and rules (presentation layer) as well as integrates a verific...
متن کاملVerification of Business Process Integration Options
We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration operators to the system administrator to create integration options for specific domains. Based on semantic relationships between nodes of two business processes these integration options are executed and transform parts of the bu...
متن کاملApplication of Business Process Execution Language to Scientific Workflows
This paper investigates the use of the Business Process Execution Language for Web services (BPEL4WS/ BPEL) for managing scientific workflows. The complexity, unpredictability and inter-dependency of the components in a scientific workflow often demand great flexibility in a workflow-language in order to support; 1) exception handling, 2) recovery from uncertain situations, 3) user interactions...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Technological and Economic Development of Economy
سال: 2012
ISSN: 2029-4913,2029-4921
DOI: 10.3846/20294913.2012.740517